;; This -*- scheme -*- file is generated by generate-charsets.scm.  DO NOT EDIT.
(define-early-constant %title-case ::int[]
    (constant-fold int[] 8189 8188 8141 8140 8125 8124 8112 8104 8096 8088 8080
                         8072 499 498 460 459 457 456 454 453))
(define-early-constant %whitespace ::int[]
    (constant-fold int[] 12289 12288 8288 8287 8240 8239 8234 8232 8203 8192
                         5761 5760 161 160 33 32 14 9))
(define-early-constant %blank ::int[]
    (constant-fold int[] 12289 12288 8288 8287 8240 8239 8203 8192 5761 5760
                         161 160 33 32 10 9))
(define-early-constant %lower-case ::int[]
    (constant-fold int[] 120780 120779 120778 120772 120771 120746 120720
                         120714 120713 120688 120662 120656 120655 120630
                         120604 120598 120597 120572 120546 120540 120539
                         120514 120486 120458 120432 120406 120380 120354
                         120328 120302 120276 120250 120224 120198 120172
                         120146 120120 120094 120068 120042 120016 120005
                         120004 119997 119996 119995 119994 119990 119964
                         119938 119912 119894 119893 119886 119860 119834 71904
                         71872 68851 68800 66640 66600 65371 65345 64280 64275
                         64263 64256 43968 43888 43878 43868 43867 43824 43003
                         43000 42936 42935 42934 42933 42922 42921 42920 42919
                         42918 42917 42916 42915 42914 42913 42912 42911 42910
                         42909 42908 42907 42906 42905 42904 42903 42902 42899
                         42898 42897 42895 42894 42893 42892 42888 42887 42886
                         42885 42884 42883 42882 42881 42880 42879 42877 42876
                         42875 42874 42873 42863 42862 42861 42860 42859 42858
                         42857 42856 42855 42854 42853 42852 42851 42850 42849
                         42848 42847 42846 42845 42844 42843 42842 42841 42840
                         42839 42838 42837 42836 42835 42834 42833 42832 42831
                         42830 42829 42828 42827 42826 42825 42824 42823 42822
                         42821 42820 42819 42818 42817 42816 42815 42814 42813
                         42812 42811 42810 42809 42808 42807 42806 42805 42804
                         42803 42802 42799 42798 42797 42796 42795 42794 42793
                         42792 42791 42790 42789 42788 42787 42654 42651 42650
                         42649 42648 42647 42646 42645 42644 42643 42642 42641
                         42640 42639 42638 42637 42636 42635 42634 42633 42632
                         42631 42630 42629 42628 42627 42626 42625 42606 42605
                         42604 42603 42602 42601 42600 42599 42598 42597 42596
                         42595 42594 42593 42592 42591 42590 42589 42588 42587
                         42586 42585 42584 42583 42582 42581 42580 42579 42578
                         42577 42576 42575 42574 42573 42572 42571 42570 42569
                         42568 42567 42566 42565 42564 42563 42562 42561 11566
                         11565 11560 11559 11558 11520 11508 11507 11503 11502
                         11501 11500 11493 11491 11490 11489 11488 11487 11486
                         11485 11484 11483 11482 11481 11480 11479 11478 11477
                         11476 11475 11474 11473 11472 11471 11470 11469 11468
                         11467 11466 11465 11464 11463 11462 11461 11460 11459
                         11458 11457 11456 11455 11454 11453 11452 11451 11450
                         11449 11448 11447 11446 11445 11444 11443 11442 11441
                         11440 11439 11438 11437 11436 11435 11434 11433 11432
                         11431 11430 11429 11428 11427 11426 11425 11424 11423
                         11422 11421 11420 11419 11418 11417 11416 11415 11414
                         11413 11412 11411 11410 11409 11408 11407 11406 11405
                         11404 11403 11402 11401 11400 11399 11398 11397 11396
                         11395 11394 11393 11390 11382 11381 11379 11378 11377
                         11373 11372 11371 11370 11369 11368 11367 11365 11362
                         11361 11359 11312 9450 9424 8581 8580 8576 8560 8527
                         8526 8522 8518 8510 8508 8506 8505 8501 8500 8496 8495
                         8468 8467 8464 8462 8459 8458 8349 8336 8320 8319 8306
                         8305 8184 8182 8181 8178 8168 8160 8152 8150 8148 8144
                         8136 8134 8133 8130 8127 8126 8120 8118 8117 8112 8104
                         8096 8088 8080 8072 8064 8062 8048 8040 8032 8024 8016
                         8006 8000 7992 7984 7976 7968 7958 7952 7944 7935 7934
                         7933 7932 7931 7930 7929 7928 7927 7926 7925 7924 7923
                         7922 7921 7920 7919 7918 7917 7916 7915 7914 7913 7912
                         7911 7910 7909 7908 7907 7906 7905 7904 7903 7902 7901
                         7900 7899 7898 7897 7896 7895 7894 7893 7892 7891 7890
                         7889 7888 7887 7886 7885 7884 7883 7882 7881 7880 7879
                         7878 7877 7876 7875 7874 7873 7872 7871 7870 7869 7868
                         7867 7866 7865 7864 7863 7862 7861 7860 7859 7858 7857
                         7856 7855 7854 7853 7852 7851 7850 7849 7848 7847 7846
                         7845 7844 7843 7842 7841 7840 7839 7838 7829 7828 7827
                         7826 7825 7824 7823 7822 7821 7820 7819 7818 7817 7816
                         7815 7814 7813 7812 7811 7810 7809 7808 7807 7806 7805
                         7804 7803 7802 7801 7800 7799 7798 7797 7796 7795 7794
                         7793 7792 7791 7790 7789 7788 7787 7786 7785 7784 7783
                         7782 7781 7780 7779 7778 7777 7776 7775 7774 7773 7772
                         7771 7770 7769 7768 7767 7766 7765 7764 7763 7762 7761
                         7760 7759 7758 7757 7756 7755 7754 7753 7752 7751 7750
                         7749 7748 7747 7746 7745 7744 7743 7742 7741 7740 7739
                         7738 7737 7736 7735 7734 7733 7732 7731 7730 7729 7728
                         7727 7726 7725 7724 7723 7722 7721 7720 7719 7718 7717
                         7716 7715 7714 7713 7712 7711 7710 7709 7708 7707 7706
                         7705 7704 7703 7702 7701 7700 7699 7698 7697 7696 7695
                         7694 7693 7692 7691 7690 7689 7688 7687 7686 7685 7684
                         7683 7682 7681 7616 7424 5118 5112 1416 1377 1328 1327
                         1326 1325 1324 1323 1322 1321 1320 1319 1318 1317 1316
                         1315 1314 1313 1312 1311 1310 1309 1308 1307 1306 1305
                         1304 1303 1302 1301 1300 1299 1298 1297 1296 1295 1294
                         1293 1292 1291 1290 1289 1288 1287 1286 1285 1284 1283
                         1282 1281 1280 1279 1278 1277 1276 1275 1274 1273 1272
                         1271 1270 1269 1268 1267 1266 1265 1264 1263 1262 1261
                         1260 1259 1258 1257 1256 1255 1254 1253 1252 1251 1250
                         1249 1248 1247 1246 1245 1244 1243 1242 1241 1240 1239
                         1238 1237 1236 1235 1234 1233 1232 1230 1229 1228 1227
                         1226 1225 1224 1223 1222 1221 1220 1219 1218 1216 1215
                         1214 1213 1212 1211 1210 1209 1208 1207 1206 1205 1204
                         1203 1202 1201 1200 1199 1198 1197 1196 1195 1194 1193
                         1192 1191 1190 1189 1188 1187 1186 1185 1184 1183 1182
                         1181 1180 1179 1178 1177 1176 1175 1174 1173 1172 1171
                         1170 1169 1168 1167 1166 1165 1164 1163 1154 1153 1152
                         1151 1150 1149 1148 1147 1146 1145 1144 1143 1142 1141
                         1140 1139 1138 1137 1136 1135 1134 1133 1132 1131 1130
                         1129 1128 1127 1126 1125 1124 1123 1122 1121 1120 1072
                         1021 1019 1017 1016 1014 1013 1012 1007 1006 1005 1004
                         1003 1002 1001 1000 999 998 997 996 995 994 993 992
                         991 990 989 988 987 986 985 984 981 978 976 975 940
                         913 912 894 890 888 887 884 883 882 881 838 837 741
                         736 706 704 697 661 660 591 590 589 588 587 586 585
                         584 583 579 578 577 575 573 572 570 563 562 561 560
                         559 558 557 556 555 554 553 552 551 550 549 548 547
                         546 545 544 543 542 541 540 539 538 537 536 535 534
                         533 532 531 530 529 528 527 526 525 524 523 522 521
                         520 519 518 517 516 515 514 513 512 511 510 509 508
                         507 506 505 502 501 500 499 497 495 494 493 492 491
                         490 489 488 487 486 485 484 483 482 481 480 479 478
                         476 475 474 473 472 471 470 469 468 467 466 465 464
                         463 462 461 460 458 457 455 454 448 445 443 441 439
                         438 437 436 433 432 430 429 428 426 425 424 422 421
                         420 419 418 417 415 414 412 409 406 405 403 402 398
                         396 393 392 390 389 388 387 385 382 381 380 379 378
                         376 375 374 373 372 371 370 369 368 367 366 365 364
                         363 362 361 360 359 358 357 356 355 354 353 352 351
                         350 349 348 347 346 345 344 343 342 341 340 339 338
                         337 336 335 334 333 332 331 330 328 327 326 325 324
                         323 322 321 320 319 318 317 316 315 314 313 311 310
                         309 308 307 306 305 304 303 302 301 300 299 298 297
                         296 295 294 293 292 291 290 289 288 287 286 285 284
                         283 282 281 280 279 278 277 276 275 274 273 272 271
                         270 269 268 267 266 265 264 263 262 261 260 259 258
                         257 256 248 247 223 187 186 182 181 171 170 123 97))
(define-early-constant %upper-case ::int[]
    (constant-fold int[] 127370 127344 127338 127312 127306 127280 120779
                         120778 120745 120720 120687 120662 120629 120604
                         120571 120546 120513 120488 120458 120432 120406
                         120380 120354 120328 120302 120276 120250 120224
                         120198 120172 120145 120138 120135 120134 120133
                         120128 120127 120123 120122 120120 120093 120086
                         120085 120077 120075 120071 120070 120068 120042
                         120016 119990 119982 119981 119977 119975 119973
                         119971 119970 119968 119966 119965 119964 119938
                         119912 119886 119860 119834 119808 71872 71840 68787
                         68736 66600 66560 65339 65313 42935 42934 42933 42928
                         42926 42922 42921 42920 42919 42918 42917 42916 42915
                         42914 42913 42912 42911 42910 42909 42908 42907 42906
                         42905 42904 42903 42902 42899 42898 42897 42896 42894
                         42893 42892 42891 42887 42886 42885 42884 42883 42882
                         42881 42880 42879 42877 42876 42875 42874 42873 42863
                         42862 42861 42860 42859 42858 42857 42856 42855 42854
                         42853 42852 42851 42850 42849 42848 42847 42846 42845
                         42844 42843 42842 42841 42840 42839 42838 42837 42836
                         42835 42834 42833 42832 42831 42830 42829 42828 42827
                         42826 42825 42824 42823 42822 42821 42820 42819 42818
                         42817 42816 42815 42814 42813 42812 42811 42810 42809
                         42808 42807 42806 42805 42804 42803 42802 42799 42798
                         42797 42796 42795 42794 42793 42792 42791 42790 42789
                         42788 42787 42786 42651 42650 42649 42648 42647 42646
                         42645 42644 42643 42642 42641 42640 42639 42638 42637
                         42636 42635 42634 42633 42632 42631 42630 42629 42628
                         42627 42626 42625 42624 42605 42604 42603 42602 42601
                         42600 42599 42598 42597 42596 42595 42594 42593 42592
                         42591 42590 42589 42588 42587 42586 42585 42584 42583
                         42582 42581 42580 42579 42578 42577 42576 42575 42574
                         42573 42572 42571 42570 42569 42568 42567 42566 42565
                         42564 42563 42562 42561 42560 11507 11506 11502 11501
                         11500 11499 11491 11490 11489 11488 11487 11486 11485
                         11484 11483 11482 11481 11480 11479 11478 11477 11476
                         11475 11474 11473 11472 11471 11470 11469 11468 11467
                         11466 11465 11464 11463 11462 11461 11460 11459 11458
                         11457 11456 11455 11454 11453 11452 11451 11450 11449
                         11448 11447 11446 11445 11444 11443 11442 11441 11440
                         11439 11438 11437 11436 11435 11434 11433 11432 11431
                         11430 11429 11428 11427 11426 11425 11424 11423 11422
                         11421 11420 11419 11418 11417 11416 11415 11414 11413
                         11412 11411 11410 11409 11408 11407 11406 11405 11404
                         11403 11402 11401 11400 11399 11398 11397 11396 11395
                         11394 11393 11390 11382 11381 11379 11378 11377 11373
                         11372 11371 11370 11369 11368 11367 11365 11362 11361
                         11360 11311 11264 9424 9398 8580 8579 8560 8544 8518
                         8517 8512 8510 8500 8496 8494 8490 8489 8488 8487 8486
                         8485 8484 8478 8473 8470 8469 8467 8464 8462 8459 8456
                         8455 8451 8450 8188 8184 8173 8168 8156 8152 8140 8136
                         8124 8120 8048 8040 8032 8031 8030 8029 8028 8027 8026
                         8025 8014 8008 8000 7992 7984 7976 7966 7960 7952 7944
                         7935 7934 7933 7932 7931 7930 7929 7928 7927 7926 7925
                         7924 7923 7922 7921 7920 7919 7918 7917 7916 7915 7914
                         7913 7912 7911 7910 7909 7908 7907 7906 7905 7904 7903
                         7902 7901 7900 7899 7898 7897 7896 7895 7894 7893 7892
                         7891 7890 7889 7888 7887 7886 7885 7884 7883 7882 7881
                         7880 7879 7878 7877 7876 7875 7874 7873 7872 7871 7870
                         7869 7868 7867 7866 7865 7864 7863 7862 7861 7860 7859
                         7858 7857 7856 7855 7854 7853 7852 7851 7850 7849 7848
                         7847 7846 7845 7844 7843 7842 7841 7840 7839 7838 7829
                         7828 7827 7826 7825 7824 7823 7822 7821 7820 7819 7818
                         7817 7816 7815 7814 7813 7812 7811 7810 7809 7808 7807
                         7806 7805 7804 7803 7802 7801 7800 7799 7798 7797 7796
                         7795 7794 7793 7792 7791 7790 7789 7788 7787 7786 7785
                         7784 7783 7782 7781 7780 7779 7778 7777 7776 7775 7774
                         7773 7772 7771 7770 7769 7768 7767 7766 7765 7764 7763
                         7762 7761 7760 7759 7758 7757 7756 7755 7754 7753 7752
                         7751 7750 7749 7748 7747 7746 7745 7744 7743 7742 7741
                         7740 7739 7738 7737 7736 7735 7734 7733 7732 7731 7730
                         7729 7728 7727 7726 7725 7724 7723 7722 7721 7720 7719
                         7718 7717 7716 7715 7714 7713 7712 7711 7710 7709 7708
                         7707 7706 7705 7704 7703 7702 7701 7700 7699 7698 7697
                         7696 7695 7694 7693 7692 7691 7690 7689 7688 7687 7686
                         7685 7684 7683 7682 7681 7680 5110 5024 4302 4301 4296
                         4295 4294 4256 1367 1329 1327 1326 1325 1324 1323 1322
                         1321 1320 1319 1318 1317 1316 1315 1314 1313 1312 1311
                         1310 1309 1308 1307 1306 1305 1304 1303 1302 1301 1300
                         1299 1298 1297 1296 1295 1294 1293 1292 1291 1290 1289
                         1288 1287 1286 1285 1284 1283 1282 1281 1280 1279 1278
                         1277 1276 1275 1274 1273 1272 1271 1270 1269 1268 1267
                         1266 1265 1264 1263 1262 1261 1260 1259 1258 1257 1256
                         1255 1254 1253 1252 1251 1250 1249 1248 1247 1246 1245
                         1244 1243 1242 1241 1240 1239 1238 1237 1236 1235 1234
                         1233 1232 1230 1229 1228 1227 1226 1225 1224 1223 1222
                         1221 1220 1219 1218 1216 1215 1214 1213 1212 1211 1210
                         1209 1208 1207 1206 1205 1204 1203 1202 1201 1200 1199
                         1198 1197 1196 1195 1194 1193 1192 1191 1190 1189 1188
                         1187 1186 1185 1184 1183 1182 1181 1180 1179 1178 1177
                         1176 1175 1174 1173 1172 1171 1170 1169 1168 1167 1166
                         1165 1164 1163 1162 1153 1152 1151 1150 1149 1148 1147
                         1146 1145 1144 1143 1142 1141 1140 1139 1138 1137 1136
                         1135 1134 1133 1132 1131 1130 1129 1128 1127 1126 1125
                         1124 1123 1122 1121 1120 1072 1021 1019 1017 1016 1015
                         1013 1012 1007 1006 1005 1004 1003 1002 1001 1000 999
                         998 997 996 995 994 993 992 991 990 989 988 987 986
                         985 984 981 978 976 975 940 931 930 913 912 910 909
                         908 907 904 903 902 896 895 887 886 883 882 881 880
                         591 590 589 588 587 586 585 584 583 579 578 577 575
                         573 572 570 563 562 561 560 559 558 557 556 555 554
                         553 552 551 550 549 548 547 546 545 544 543 542 541
                         540 539 538 537 536 535 534 533 532 531 530 529 528
                         527 526 525 524 523 522 521 520 519 518 517 516 515
                         514 513 512 511 510 509 508 507 506 505 502 501 500
                         498 497 495 494 493 492 491 490 489 488 487 486 485
                         484 483 482 481 480 479 478 476 475 474 473 472 471
                         470 469 468 467 466 465 464 463 462 461 459 458 456
                         455 453 452 445 444 441 439 438 437 436 433 432 430
                         429 428 426 425 424 422 421 420 419 418 417 415 414
                         412 409 406 405 403 402 398 396 393 392 390 389 388
                         387 385 382 381 380 379 378 376 375 374 373 372 371
                         370 369 368 367 366 365 364 363 362 361 360 359 358
                         357 356 355 354 353 352 351 350 349 348 347 346 345
                         344 343 342 341 340 339 338 337 336 335 334 333 332
                         331 330 328 327 326 325 324 323 322 321 320 319 318
                         317 316 315 314 313 311 310 309 308 307 306 305 304
                         303 302 301 300 299 298 297 296 295 294 293 292 291
                         290 289 288 287 286 285 284 283 282 281 280 279 278
                         277 276 275 274 273 272 271 270 269 268 267 266 265
                         264 263 262 261 260 259 258 257 256 223 216 215 192 91
                         65))
(define-early-constant %letter ::int[]
    (constant-fold int[] 195102 194560 183970 178208 178206 177984 177973
                         173824 173783 131072 126652 126635 126634 126629
                         126628 126625 126620 126603 126602 126592 126591
                         126590 126589 126585 126584 126580 126579 126572
                         126571 126567 126565 126564 126563 126561 126560
                         126559 126558 126557 126556 126555 126554 126553
                         126552 126551 126549 126548 126547 126545 126544
                         126541 126540 126539 126538 126537 126536 126535
                         126531 126530 126524 126523 126522 126521 126520
                         126516 126515 126505 126504 126503 126501 126500
                         126499 126497 126496 126469 126468 126464 125125
                         124928 120780 120772 120771 120746 120745 120714
                         120713 120688 120687 120656 120655 120630 120629
                         120598 120597 120572 120571 120540 120539 120514
                         120513 120488 120486 120146 120145 120138 120135
                         120134 120133 120128 120127 120123 120122 120094
                         120093 120086 120085 120077 120075 120071 120070
                         120005 120004 119997 119996 119995 119994 119982
                         119981 119977 119975 119973 119971 119970 119968
                         119966 119965 119894 119893 119808 113818 113808
                         113801 113792 113789 113776 113771 113664 110594
                         110592 94112 94099 94033 94032 94021 93952 93072 93053
                         93048 93027 92996 92992 92976 92928 92910 92880 92767
                         92736 92729 92160 83527 82944 78895 77824 75076 74880
                         74650 73728 72441 72384 71936 71935 71904 71840 71450
                         71424 71339 71296 71237 71236 71216 71168 71132 71128
                         71087 71040 70856 70855 70854 70852 70832 70784 70498
                         70493 70481 70480 70462 70461 70458 70453 70452 70450
                         70449 70442 70441 70419 70417 70415 70413 70405 70367
                         70320 70313 70303 70302 70287 70286 70282 70281 70280
                         70279 70272 70188 70163 70162 70144 70109 70108 70107
                         70106 70085 70081 70067 70019 70007 70006 70003 69968
                         69927 69891 69865 69840 69808 69763 69688 69635 68851
                         68800 68787 68736 68681 68608 68498 68480 68467 68448
                         68438 68416 68406 68352 68325 68297 68296 68288 68253
                         68224 68221 68192 68148 68121 68120 68117 68116 68112
                         68097 68096 68032 68030 68024 67968 67898 67872 67862
                         67840 67830 67828 67827 67808 67743 67712 67703 67680
                         67670 67647 67645 67644 67641 67639 67638 67594 67593
                         67592 67590 67584 67432 67424 67414 67392 67383 67072
                         66916 66864 66856 66816 66718 66560 66512 66504 66500
                         66464 66462 66432 66422 66384 66378 66370 66369 66352
                         66336 66304 66257 66208 66205 66176 65787 65664 65630
                         65616 65614 65599 65598 65596 65595 65576 65575 65549
                         65548 65536 65501 65498 65496 65490 65488 65482 65480
                         65474 65471 65382 65371 65345 65339 65313 65277 65142
                         65141 65136 65020 65008 64968 64914 64912 64848 64830
                         64467 64434 64326 64325 64323 64322 64320 64319 64318
                         64317 64312 64311 64298 64297 64287 64286 64285 64280
                         64275 64263 64256 64218 64112 64110 63744 55292 55243
                         55239 55216 55204 44032 44003 43888 43878 43868 43867
                         43824 43823 43816 43815 43808 43799 43793 43791 43785
                         43783 43777 43765 43762 43755 43744 43742 43739 43715
                         43714 43713 43712 43710 43705 43703 43701 43698 43697
                         43696 43646 43643 43642 43639 43616 43596 43588 43587
                         43584 43561 43520 43519 43514 43504 43494 43493 43488
                         43472 43471 43443 43396 43389 43360 43335 43312 43302
                         43274 43262 43261 43260 43259 43256 43250 43188 43138
                         43124 43072 43043 43020 43019 43015 43014 43011 43010
                         42999 42936 42928 42926 42891 42889 42786 42784 42775
                         42726 42656 42654 42623 42607 42560 42540 42538 42528
                         42512 42509 42240 42238 42192 42125 40960 40918 19968
                         19894 13312 12800 12784 12731 12704 12687 12593 12590
                         12549 12544 12540 12539 12449 12448 12445 12439 12353
                         12349 12347 12342 12337 12295 12293 11824 11823 11743
                         11736 11735 11728 11727 11720 11719 11712 11711 11704
                         11703 11696 11695 11688 11687 11680 11671 11648 11632
                         11631 11624 11568 11566 11565 11560 11559 11558 11520
                         11508 11506 11503 11499 11493 11360 11359 11312 11311
                         11264 8581 8579 8527 8526 8522 8517 8512 8508 8506
                         8495 8494 8490 8489 8488 8487 8486 8485 8484 8478 8473
                         8470 8469 8468 8458 8456 8455 8451 8450 8349 8336 8320
                         8319 8306 8305 8189 8182 8181 8178 8173 8160 8156 8150
                         8148 8144 8141 8134 8133 8130 8127 8126 8125 8118 8117
                         8064 8062 8031 8030 8029 8028 8027 8026 8025 8024 8016
                         8014 8008 8006 7968 7966 7960 7958 7680 7616 7424 7415
                         7413 7410 7406 7405 7401 7294 7258 7248 7245 7204 7168
                         7142 7098 7088 7086 7073 7043 6988 6981 6964 6917 6824
                         6823 6741 6688 6679 6656 6602 6576 6572 6528 6517 6512
                         6510 6480 6431 6400 6390 6320 6315 6314 6313 6272 6264
                         6176 6109 6108 6104 6103 6068 6016 6001 5998 5997 5984
                         5970 5952 5938 5920 5906 5902 5901 5888 5881 5873 5867
                         5792 5787 5761 5760 5743 5741 5121 5118 5112 5110 5024
                         5008 4992 4955 4888 4886 4882 4881 4824 4823 4808 4806
                         4802 4801 4800 4799 4792 4790 4786 4785 4752 4750 4746
                         4745 4704 4702 4698 4697 4696 4695 4688 4686 4682 4681
                         4348 4347 4304 4302 4301 4296 4295 4294 4256 4239 4238
                         4226 4213 4209 4206 4199 4197 4194 4193 4190 4186 4182
                         4176 4160 4159 4139 4096 3981 3976 3949 3913 3912 3904
                         3841 3840 3808 3804 3783 3782 3781 3776 3774 3773 3764
                         3762 3761 3757 3756 3754 3752 3751 3750 3749 3748 3745
                         3744 3737 3736 3732 3726 3725 3723 3722 3721 3719 3717
                         3716 3715 3713 3655 3648 3636 3634 3633 3585 3527 3520
                         3518 3517 3516 3507 3506 3482 3479 3461 3456 3450 3426
                         3423 3407 3406 3390 3389 3387 3346 3345 3342 3341 3333
                         3315 3313 3298 3296 3295 3294 3262 3261 3258 3253 3252
                         3242 3241 3218 3217 3214 3213 3205 3170 3168 3163 3160
                         3134 3133 3130 3114 3113 3090 3089 3086 3085 3077 3025
                         3024 3002 2990 2987 2984 2981 2979 2976 2974 2973 2972
                         2971 2969 2966 2962 2961 2958 2955 2949 2948 2947 2930
                         2929 2914 2911 2910 2908 2878 2877 2874 2869 2868 2866
                         2865 2858 2857 2835 2833 2831 2829 2821 2810 2809 2786
                         2784 2769 2768 2750 2749 2746 2741 2740 2738 2737 2730
                         2729 2707 2706 2703 2702 2693 2677 2674 2655 2654 2653
                         2649 2618 2616 2615 2613 2612 2610 2609 2602 2601 2579
                         2577 2575 2571 2565 2546 2544 2530 2527 2526 2524 2511
                         2510 2494 2493 2490 2486 2483 2482 2481 2474 2473 2451
                         2449 2447 2445 2437 2433 2417 2402 2392 2385 2384 2366
                         2365 2362 2308 2229 2208 2137 2112 2089 2088 2085 2084
                         2075 2074 2070 2048 2043 2042 2038 2036 2027 1994 1970
                         1969 1958 1869 1840 1810 1809 1808 1792 1791 1789 1786
                         1776 1774 1767 1765 1750 1749 1748 1649 1648 1646 1611
                         1568 1523 1520 1515 1488 1416 1377 1370 1369 1367 1329
                         1328 1162 1154 1015 1014 931 930 910 909 908 907 904
                         903 902 896 895 894 890 888 886 885 880 751 750 749
                         748 741 736 722 710 706 248 247 216 215 192 187 186
                         182 181 171 170 123 97 91 65))
(define-early-constant %digit ::int[]
    (constant-fold int[] 120832 120782 93018 93008 92778 92768 71914 71904
                         71482 71472 71370 71360 71258 71248 70874 70864 70394
                         70384 70106 70096 69952 69942 69882 69872 69744 69734
                         66730 66720 65306 65296 44026 44016 43610 43600 43514
                         43504 43482 43472 43274 43264 43226 43216 42538 42528
                         7258 7248 7242 7232 7098 7088 7002 6992 6810 6800 6794
                         6784 6618 6608 6480 6470 6170 6160 6122 6112 4250 4240
                         4170 4160 3882 3872 3802 3792 3674 3664 3568 3558 3440
                         3430 3312 3302 3184 3174 3056 3046 2928 2918 2800 2790
                         2672 2662 2544 2534 2416 2406 1994 1984 1786 1776 1642
                         1632 58 48))
(define-early-constant %punctuation ::int[]
    (constant-fold int[] 121484 121479 113824 113823 92997 92996 92988 92983
                         92918 92917 92784 92782 74869 74864 71487 71484 71236
                         71233 71128 71105 70855 70854 70314 70313 70206 70200
                         70112 70109 70108 70107 70094 70093 70090 70085 70006
                         70004 69956 69952 69826 69822 69821 69819 69710 69703
                         68509 68505 68416 68409 68343 68336 68224 68223 68185
                         68176 67904 67903 67872 67871 67672 67671 66928 66927
                         66513 66512 66464 66463 65795 65792 65382 65375 65374
                         65373 65372 65371 65344 65343 65342 65339 65313 65311
                         65308 65306 65296 65292 65291 65285 65284 65281 65132
                         65130 65129 65128 65124 65123 65122 65108 65107 65072
                         65050 65040 64832 64830 44012 44011 43762 43760 43744
                         43742 43616 43612 43488 43486 43470 43457 43360 43359
                         43312 43310 43261 43260 43259 43256 43216 43214 43128
                         43124 42744 42738 42623 42622 42612 42611 42512 42509
                         42240 42238 12540 12539 12449 12448 12350 12349 12337
                         12336 12320 12308 12306 12296 12292 12289 11843 11824
                         11823 11776 11633 11632 11520 11518 11517 11513 10750
                         10748 10716 10712 10649 10627 10224 10214 10183 10181
                         10102 10088 9003 9001 8972 8968 8335 8333 8319 8317
                         8287 8275 8274 8261 8260 8240 8232 8208 7380 7379 7368
                         7360 7296 7294 7232 7227 7168 7164 7009 7002 6830 6824
                         6823 6816 6688 6686 6470 6468 6155 6144 6107 6104 6103
                         6100 5943 5941 5870 5867 5789 5787 5743 5741 5121 5120
                         4969 4960 4348 4347 4176 4170 4059 4057 4053 4048 3974
                         3973 3902 3898 3861 3860 3859 3844 3676 3674 3664 3663
                         3573 3572 2801 2800 2417 2416 2406 2404 2143 2142 2111
                         2096 2042 2039 1806 1792 1749 1748 1646 1642 1568 1566
                         1564 1563 1550 1548 1547 1545 1525 1523 1479 1478 1476
                         1475 1473 1472 1471 1470 1419 1417 1376 1370 904 903
                         895 894 192 191 188 187 184 182 172 171 168 167 162
                         161 126 125 124 123 96 95 94 91 65 63 60 58 48 44 43
                         37 36 33))
(define-early-constant %symbol ::int[]
    (constant-fold int[] 129473 129472 129413 129408 129305 129296 129198
                         129168 129160 129120 129114 129104 129096 129040
                         129036 129024 128981 128896 128884 128768 128756
                         128752 128749 128736 128721 128421 128420 128379
                         128378 127744 127570 127568 127561 127552 127547
                         127504 127491 127462 127387 127344 127340 127280
                         127279 127248 127222 127185 127184 127169 127168
                         127153 127151 127136 127124 127024 127020 126976
                         126706 126704 121479 121477 121476 121462 121461
                         121453 121403 121399 121344 120832 120772 120771
                         120746 120745 120714 120713 120688 120687 120656
                         120655 120630 120629 120598 120597 120572 120571
                         120540 120539 120514 120513 119639 119552 119366
                         119365 119362 119296 119273 119214 119210 119180
                         119173 119171 119149 119146 119141 119081 119079
                         119040 119030 118784 113821 113820 92998 92997 92992
                         92988 71488 71487 68297 68296 67705 67703 66045 66000
                         65953 65952 65948 65936 65933 65932 65930 65913 65856
                         65847 65534 65532 65519 65512 65511 65504 65375 65374
                         65373 65372 65345 65344 65343 65342 65311 65308 65292
                         65291 65285 65284 65130 65129 65127 65124 65123 65122
                         65022 65020 64450 64434 64298 64297 43868 43867 43642
                         43639 43066 43062 43052 43048 42891 42889 42786 42784
                         42775 42752 42183 42128 19968 19904 13312 13056 13055
                         12992 12977 12938 12928 12896 12881 12880 12872 12842
                         12831 12800 12772 12736 12704 12694 12690 12688 12445
                         12443 12352 12350 12344 12342 12321 12320 12308 12306
                         12293 12292 12284 12272 12246 12032 12020 11931 11930
                         11904 11499 11493 11248 11244 11218 11210 11209 11197
                         11194 11160 11158 11126 11124 10750 10748 10716 10712
                         10649 10627 10224 10214 10183 10181 10132 10088 9472
                         9450 9372 9291 9280 9255 9216 9211 9003 9001 8972 8968
                         8592 8588 8586 8528 8527 8526 8522 8517 8512 8508 8506
                         8495 8494 8490 8489 8488 8487 8486 8485 8484 8478 8473
                         8470 8469 8468 8458 8456 8455 8451 8450 8448 8383 8352
                         8333 8330 8317 8314 8275 8274 8261 8260 8191 8189 8176
                         8173 8160 8157 8144 8141 8130 8127 8126 8125 7037 7028
                         7019 7009 6656 6622 6465 6464 6108 6107 5018 5008 4256
                         4254 4057 4053 4048 4046 4045 4039 4038 4030 3897 3896
                         3895 3894 3893 3892 3872 3866 3864 3861 3860 3859 3844
                         3841 3648 3647 3450 3449 3200 3199 3067 3059 2929 2928
                         2802 2801 2556 2554 2548 2546 2039 2038 1791 1789 1770
                         1769 1759 1758 1552 1550 1548 1547 1545 1542 1424 1421
                         1155 1154 1015 1014 902 900 886 885 768 751 750 749
                         748 741 736 722 710 706 248 247 216 215 185 184 181
                         180 178 174 173 172 170 168 167 162 127 126 125 124 97
                         96 95 94 63 60 44 43 37 36))
(define-early-constant %letter+digit ::int[]
    (constant-fold int[] 195102 194560 183970 178208 178206 177984 177973
                         173824 173783 131072 126652 126635 126634 126629
                         126628 126625 126620 126603 126602 126592 126591
                         126590 126589 126585 126584 126580 126579 126572
                         126571 126567 126565 126564 126563 126561 126560
                         126559 126558 126557 126556 126555 126554 126553
                         126552 126551 126549 126548 126547 126545 126544
                         126541 126540 126539 126538 126537 126536 126535
                         126531 126530 126524 126523 126522 126521 126520
                         126516 126515 126505 126504 126503 126501 126500
                         126499 126497 126496 126469 126468 126464 125125
                         124928 120832 120782 120780 120772 120771 120746
                         120745 120714 120713 120688 120687 120656 120655
                         120630 120629 120598 120597 120572 120571 120540
                         120539 120514 120513 120488 120486 120146 120145
                         120138 120135 120134 120133 120128 120127 120123
                         120122 120094 120093 120086 120085 120077 120075
                         120071 120070 120005 120004 119997 119996 119995
                         119994 119982 119981 119977 119975 119973 119971
                         119970 119968 119966 119965 119894 119893 119808
                         113818 113808 113801 113792 113789 113776 113771
                         113664 110594 110592 94112 94099 94033 94032 94021
                         93952 93072 93053 93048 93027 93018 93008 92996 92992
                         92976 92928 92910 92880 92778 92768 92767 92736 92729
                         92160 83527 82944 78895 77824 75076 74880 74650 73728
                         72441 72384 71936 71935 71914 71840 71482 71472 71450
                         71424 71370 71360 71339 71296 71258 71248 71237 71236
                         71216 71168 71132 71128 71087 71040 70874 70864 70856
                         70855 70854 70852 70832 70784 70498 70493 70481 70480
                         70462 70461 70458 70453 70452 70450 70449 70442 70441
                         70419 70417 70415 70413 70405 70394 70384 70367 70320
                         70313 70303 70302 70287 70286 70282 70281 70280 70279
                         70272 70188 70163 70162 70144 70109 70108 70107 70096
                         70085 70081 70067 70019 70007 70006 70003 69968 69952
                         69942 69927 69891 69882 69872 69865 69840 69808 69763
                         69744 69734 69688 69635 68851 68800 68787 68736 68681
                         68608 68498 68480 68467 68448 68438 68416 68406 68352
                         68325 68297 68296 68288 68253 68224 68221 68192 68148
                         68121 68120 68117 68116 68112 68097 68096 68032 68030
                         68024 67968 67898 67872 67862 67840 67830 67828 67827
                         67808 67743 67712 67703 67680 67670 67647 67645 67644
                         67641 67639 67638 67594 67593 67592 67590 67584 67432
                         67424 67414 67392 67383 67072 66916 66864 66856 66816
                         66730 66720 66718 66560 66512 66504 66500 66464 66462
                         66432 66422 66384 66378 66370 66369 66352 66336 66304
                         66257 66208 66205 66176 65787 65664 65630 65616 65614
                         65599 65598 65596 65595 65576 65575 65549 65548 65536
                         65501 65498 65496 65490 65488 65482 65480 65474 65471
                         65382 65371 65345 65339 65313 65306 65296 65277 65142
                         65141 65136 65020 65008 64968 64914 64912 64848 64830
                         64467 64434 64326 64325 64323 64322 64320 64319 64318
                         64317 64312 64311 64298 64297 64287 64286 64285 64280
                         64275 64263 64256 64218 64112 64110 63744 55292 55243
                         55239 55216 55204 44032 44026 44016 44003 43888 43878
                         43868 43867 43824 43823 43816 43815 43808 43799 43793
                         43791 43785 43783 43777 43765 43762 43755 43744 43742
                         43739 43715 43714 43713 43712 43710 43705 43703 43701
                         43698 43697 43696 43646 43643 43642 43639 43616 43610
                         43600 43596 43588 43587 43584 43561 43520 43519 43494
                         43493 43488 43482 43471 43443 43396 43389 43360 43335
                         43312 43302 43264 43262 43261 43260 43259 43256 43250
                         43226 43216 43188 43138 43124 43072 43043 43020 43019
                         43015 43014 43011 43010 42999 42936 42928 42926 42891
                         42889 42786 42784 42775 42726 42656 42654 42623 42607
                         42560 42540 42512 42509 42240 42238 42192 42125 40960
                         40918 19968 19894 13312 12800 12784 12731 12704 12687
                         12593 12590 12549 12544 12540 12539 12449 12448 12445
                         12439 12353 12349 12347 12342 12337 12295 12293 11824
                         11823 11743 11736 11735 11728 11727 11720 11719 11712
                         11711 11704 11703 11696 11695 11688 11687 11680 11671
                         11648 11632 11631 11624 11568 11566 11565 11560 11559
                         11558 11520 11508 11506 11503 11499 11493 11360 11359
                         11312 11311 11264 8581 8579 8527 8526 8522 8517 8512
                         8508 8506 8495 8494 8490 8489 8488 8487 8486 8485 8484
                         8478 8473 8470 8469 8468 8458 8456 8455 8451 8450 8349
                         8336 8320 8319 8306 8305 8189 8182 8181 8178 8173 8160
                         8156 8150 8148 8144 8141 8134 8133 8130 8127 8126 8125
                         8118 8117 8064 8062 8031 8030 8029 8028 8027 8026 8025
                         8024 8016 8014 8008 8006 7968 7966 7960 7958 7680 7616
                         7424 7415 7413 7410 7406 7405 7401 7294 7245 7242 7232
                         7204 7168 7142 7086 7073 7043 7002 6992 6988 6981 6964
                         6917 6824 6823 6810 6800 6794 6784 6741 6688 6679 6656
                         6618 6608 6602 6576 6572 6528 6517 6512 6510 6470 6431
                         6400 6390 6320 6315 6314 6313 6272 6264 6176 6170 6160
                         6122 6112 6109 6108 6104 6103 6068 6016 6001 5998 5997
                         5984 5970 5952 5938 5920 5906 5902 5901 5888 5881 5873
                         5867 5792 5787 5761 5760 5743 5741 5121 5118 5112 5110
                         5024 5008 4992 4955 4888 4886 4882 4881 4824 4823 4808
                         4806 4802 4801 4800 4799 4792 4790 4786 4785 4752 4750
                         4746 4745 4704 4702 4698 4697 4696 4695 4688 4686 4682
                         4681 4348 4347 4304 4302 4301 4296 4295 4294 4256 4250
                         4240 4239 4238 4226 4213 4209 4206 4199 4197 4194 4193
                         4190 4186 4182 4176 4170 4159 4139 4096 3981 3976 3949
                         3913 3912 3904 3882 3872 3841 3840 3808 3804 3802 3792
                         3783 3782 3781 3776 3774 3773 3764 3762 3761 3757 3756
                         3754 3752 3751 3750 3749 3748 3745 3744 3737 3736 3732
                         3726 3725 3723 3722 3721 3719 3717 3716 3715 3713 3674
                         3664 3655 3648 3636 3634 3633 3585 3568 3558 3527 3520
                         3518 3517 3516 3507 3506 3482 3479 3461 3456 3450 3440
                         3430 3426 3423 3407 3406 3390 3389 3387 3346 3345 3342
                         3341 3333 3315 3313 3312 3302 3298 3296 3295 3294 3262
                         3261 3258 3253 3252 3242 3241 3218 3217 3214 3213 3205
                         3184 3174 3170 3168 3163 3160 3134 3133 3130 3114 3113
                         3090 3089 3086 3085 3077 3056 3046 3025 3024 3002 2990
                         2987 2984 2981 2979 2976 2974 2973 2972 2971 2969 2966
                         2962 2961 2958 2955 2949 2948 2947 2930 2929 2928 2918
                         2914 2911 2910 2908 2878 2877 2874 2869 2868 2866 2865
                         2858 2857 2835 2833 2831 2829 2821 2810 2809 2800 2790
                         2786 2784 2769 2768 2750 2749 2746 2741 2740 2738 2737
                         2730 2729 2707 2706 2703 2702 2693 2677 2674 2672 2662
                         2655 2654 2653 2649 2618 2616 2615 2613 2612 2610 2609
                         2602 2601 2579 2577 2575 2571 2565 2546 2534 2530 2527
                         2526 2524 2511 2510 2494 2493 2490 2486 2483 2482 2481
                         2474 2473 2451 2449 2447 2445 2437 2433 2417 2416 2406
                         2402 2392 2385 2384 2366 2365 2362 2308 2229 2208 2137
                         2112 2089 2088 2085 2084 2075 2074 2070 2048 2043 2042
                         2038 2036 2027 1984 1970 1969 1958 1869 1840 1810 1809
                         1808 1792 1791 1789 1774 1767 1765 1750 1749 1748 1649
                         1648 1646 1642 1632 1611 1568 1523 1520 1515 1488 1416
                         1377 1370 1369 1367 1329 1328 1162 1154 1015 1014 931
                         930 910 909 908 907 904 903 902 896 895 894 890 888
                         886 885 880 751 750 749 748 741 736 722 710 706 248
                         247 216 215 192 187 186 182 181 171 170 123 97 91 65
                         58 48))
(define-early-constant %graphic ::int[]
    (constant-fold int[] 195102 194560 183970 178208 178206 177984 177973
                         173824 173783 131072 129473 129472 129413 129408
                         129305 129296 129198 129168 129160 129120 129114
                         129104 129096 129040 129036 129024 128981 128896
                         128884 128768 128756 128752 128749 128736 128721
                         128421 128420 128379 128378 127744 127570 127568
                         127561 127552 127547 127504 127491 127462 127387
                         127344 127340 127280 127279 127248 127222 127185
                         127184 127169 127168 127153 127151 127136 127124
                         127024 127020 126976 126706 126704 126652 126635
                         126634 126629 126628 126625 126620 126603 126602
                         126592 126591 126590 126589 126585 126584 126580
                         126579 126572 126571 126567 126565 126564 126563
                         126561 126560 126559 126558 126557 126556 126555
                         126554 126553 126552 126551 126549 126548 126547
                         126545 126544 126541 126540 126539 126538 126537
                         126536 126535 126531 126530 126524 126523 126522
                         126521 126520 126516 126515 126505 126504 126503
                         126501 126500 126499 126497 126496 126469 126468
                         126464 125125 124928 121484 121477 121476 121462
                         121461 121453 121403 121399 121344 120782 120780
                         120488 120486 120146 120145 120138 120135 120134
                         120133 120128 120127 120123 120122 120094 120093
                         120086 120085 120077 120075 120071 120070 120005
                         120004 119997 119996 119995 119994 119982 119981
                         119977 119975 119973 119971 119970 119968 119966
                         119965 119894 119893 119808 119639 119552 119366
                         119365 119362 119296 119273 119214 119210 119180
                         119173 119171 119149 119146 119141 119081 119079
                         119040 119030 118784 113824 113823 113821 113820
                         113818 113808 113801 113792 113789 113776 113771
                         113664 110594 110592 94112 94099 94033 94032 94021
                         93952 93072 93053 93048 93027 93018 93008 92998 92983
                         92976 92928 92918 92917 92910 92880 92784 92782 92778
                         92768 92767 92736 92729 92160 83527 82944 78895 77824
                         75076 74880 74869 74864 74650 73728 72441 72384 71936
                         71935 71914 71840 71488 71484 71482 71472 71450 71424
                         71370 71360 71339 71296 71258 71248 71237 71233 71216
                         71168 71132 71105 71087 71040 70874 70864 70856 70852
                         70832 70784 70498 70493 70481 70480 70462 70461 70458
                         70453 70452 70450 70449 70442 70441 70419 70417 70415
                         70413 70405 70394 70384 70367 70320 70314 70303 70302
                         70287 70286 70282 70281 70280 70279 70272 70206 70200
                         70188 70163 70162 70144 70112 70096 70094 70093 70090
                         70081 70067 70019 70007 70004 70003 69968 69956 69942
                         69927 69891 69882 69872 69865 69840 69826 69822 69821
                         69819 69808 69763 69744 69734 69710 69703 69688 69635
                         68851 68800 68787 68736 68681 68608 68509 68505 68498
                         68480 68467 68448 68438 68409 68406 68352 68343 68336
                         68325 68288 68253 68223 68221 68192 68185 68176 68148
                         68121 68120 68117 68116 68112 68097 68096 68032 68030
                         68024 67968 67904 67903 67898 67871 67862 67840 67830
                         67828 67827 67808 67743 67712 67705 67680 67672 67671
                         67670 67647 67645 67644 67641 67639 67638 67594 67593
                         67592 67590 67584 67432 67424 67414 67392 67383 67072
                         66928 66927 66916 66864 66856 66816 66730 66720 66718
                         66560 66513 66504 66500 66463 66462 66432 66422 66384
                         66378 66370 66369 66352 66336 66304 66257 66208 66205
                         66176 66045 66000 65953 65952 65948 65936 65933 65932
                         65930 65913 65856 65847 65795 65792 65787 65664 65630
                         65616 65614 65599 65598 65596 65595 65576 65575 65549
                         65548 65536 65534 65532 65519 65512 65511 65504 65501
                         65498 65496 65490 65488 65482 65480 65474 65471 65281
                         65277 65142 65141 65136 65132 65128 65127 65108 65107
                         65072 65050 65040 65022 65008 64968 64914 64912 64848
                         64832 64467 64450 64326 64325 64323 64322 64320 64319
                         64318 64317 64312 64311 64287 64286 64285 64280 64275
                         64263 64256 64218 64112 64110 63744 55292 55243 55239
                         55216 55204 44032 44026 44016 44012 44011 44003 43888
                         43878 43824 43823 43816 43815 43808 43799 43793 43791
                         43785 43783 43777 43765 43760 43755 43739 43715 43714
                         43713 43712 43710 43705 43703 43701 43698 43697 43696
                         43646 43643 43612 43610 43600 43596 43588 43587 43584
                         43561 43520 43519 43494 43493 43486 43482 43471 43470
                         43457 43443 43396 43389 43359 43335 43310 43302 43264
                         43262 43250 43226 43214 43188 43138 43128 43072 43066
                         43062 43052 43048 43043 43020 43019 43015 43014 43011
                         43010 42999 42936 42928 42926 42752 42744 42738 42726
                         42656 42654 42622 42612 42611 42607 42560 42540 42192
                         42183 42128 42125 40960 40918 19904 19894 13056 13055
                         12992 12977 12938 12928 12896 12881 12880 12872 12842
                         12831 12784 12772 12736 12731 12694 12690 12688 12687
                         12593 12590 12549 12544 12443 12439 12353 12352 12347
                         12344 12336 12321 12296 12295 12289 12284 12272 12246
                         12032 12020 11931 11930 11904 11843 11776 11743 11736
                         11735 11728 11727 11720 11719 11712 11711 11704 11703
                         11696 11695 11688 11687 11680 11671 11648 11633 11631
                         11624 11568 11566 11565 11560 11559 11558 11518 11517
                         11513 11508 11506 11503 11360 11359 11312 11311 11264
                         11248 11244 11218 11210 11209 11197 11194 11160 11158
                         11126 11124 10132 10102 9472 9450 9372 9291 9280 9255
                         9216 9211 8592 8588 8586 8581 8579 8528 8448 8383 8352
                         8349 8336 8335 8330 8320 8314 8306 8305 8287 8240 8232
                         8208 8191 8182 8181 8178 8176 8157 8156 8150 8148 8134
                         8133 8118 8117 8064 8062 8031 8030 8029 8028 8027 8026
                         8025 8024 8016 8014 8008 8006 7968 7966 7960 7958 7680
                         7616 7424 7415 7413 7410 7406 7405 7401 7380 7379 7368
                         7360 7296 7245 7242 7227 7204 7164 7142 7086 7073 7043
                         7037 7028 7019 6992 6988 6981 6964 6917 6830 6816 6810
                         6800 6794 6784 6741 6686 6679 6622 6618 6608 6602 6576
                         6572 6528 6517 6512 6510 6468 6465 6464 6431 6400 6390
                         6320 6315 6314 6313 6272 6264 6176 6170 6160 6155 6144
                         6122 6112 6109 6100 6068 6016 6001 5998 5997 5984 5970
                         5952 5943 5941 5938 5920 5906 5902 5901 5888 5881 5873
                         5870 5792 5789 5761 5760 5120 5118 5112 5110 5024 5018
                         4992 4969 4960 4955 4888 4886 4882 4881 4824 4823 4808
                         4806 4802 4801 4800 4799 4792 4790 4786 4785 4752 4750
                         4746 4745 4704 4702 4698 4697 4696 4695 4688 4686 4682
                         4681 4304 4302 4301 4296 4295 4294 4254 4250 4240 4239
                         4238 4226 4213 4209 4206 4199 4197 4194 4193 4190 4186
                         4182 4159 4139 4096 4059 4046 4045 4039 4038 4030 3981
                         3976 3974 3973 3949 3913 3912 3904 3902 3898 3897 3896
                         3895 3894 3893 3892 3882 3866 3864 3840 3808 3804 3802
                         3792 3783 3782 3781 3776 3774 3773 3764 3762 3761 3757
                         3756 3754 3752 3751 3750 3749 3748 3745 3744 3737 3736
                         3732 3726 3725 3723 3722 3721 3719 3717 3716 3715 3713
                         3676 3663 3655 3647 3636 3634 3633 3585 3573 3572 3568
                         3558 3527 3520 3518 3517 3516 3507 3506 3482 3479 3461
                         3456 3449 3440 3430 3426 3423 3407 3406 3390 3389 3387
                         3346 3345 3342 3341 3333 3315 3313 3312 3302 3298 3296
                         3295 3294 3262 3261 3258 3253 3252 3242 3241 3218 3217
                         3214 3213 3205 3200 3199 3184 3174 3170 3168 3163 3160
                         3134 3133 3130 3114 3113 3090 3089 3086 3085 3077 3067
                         3059 3056 3046 3025 3024 3002 2990 2987 2984 2981 2979
                         2976 2974 2973 2972 2971 2969 2966 2962 2961 2958 2955
                         2949 2948 2947 2930 2918 2914 2911 2910 2908 2878 2877
                         2874 2869 2868 2866 2865 2858 2857 2835 2833 2831 2829
                         2821 2810 2809 2802 2790 2786 2784 2769 2768 2750 2749
                         2746 2741 2740 2738 2737 2730 2729 2707 2706 2703 2702
                         2693 2677 2674 2672 2662 2655 2654 2653 2649 2618 2616
                         2615 2613 2612 2610 2609 2602 2601 2579 2577 2575 2571
                         2565 2556 2554 2548 2534 2530 2527 2526 2524 2511 2510
                         2494 2493 2490 2486 2483 2482 2481 2474 2473 2451 2449
                         2447 2445 2437 2433 2404 2402 2392 2385 2384 2366 2365
                         2362 2308 2229 2208 2143 2142 2137 2112 2111 2096 2089
                         2088 2085 2084 2075 2074 2070 2048 2043 2036 2027 1984
                         1970 1969 1958 1869 1840 1810 1809 1808 1806 1774 1770
                         1769 1767 1765 1759 1758 1750 1649 1648 1632 1611 1566
                         1564 1563 1552 1542 1525 1520 1515 1488 1479 1478 1476
                         1475 1473 1472 1471 1470 1424 1421 1419 1417 1416 1377
                         1376 1369 1367 1329 1328 1162 1155 931 930 910 909 908
                         907 900 896 890 888 880 768 191 188 186 185 180 178
                         174 173 161 127 33))
(define-early-constant %printing ::int[]
    (constant-fold int[] 195102 194560 183970 178208 178206 177984 177973
                         173824 173783 131072 129473 129472 129413 129408
                         129305 129296 129198 129168 129160 129120 129114
                         129104 129096 129040 129036 129024 128981 128896
                         128884 128768 128756 128752 128749 128736 128721
                         128421 128420 128379 128378 127744 127570 127568
                         127561 127552 127547 127504 127491 127462 127387
                         127344 127340 127280 127279 127248 127222 127185
                         127184 127169 127168 127153 127151 127136 127124
                         127024 127020 126976 126706 126704 126652 126635
                         126634 126629 126628 126625 126620 126603 126602
                         126592 126591 126590 126589 126585 126584 126580
                         126579 126572 126571 126567 126565 126564 126563
                         126561 126560 126559 126558 126557 126556 126555
                         126554 126553 126552 126551 126549 126548 126547
                         126545 126544 126541 126540 126539 126538 126537
                         126536 126535 126531 126530 126524 126523 126522
                         126521 126520 126516 126515 126505 126504 126503
                         126501 126500 126499 126497 126496 126469 126468
                         126464 125125 124928 121484 121477 121476 121462
                         121461 121453 121403 121399 121344 120782 120780
                         120488 120486 120146 120145 120138 120135 120134
                         120133 120128 120127 120123 120122 120094 120093
                         120086 120085 120077 120075 120071 120070 120005
                         120004 119997 119996 119995 119994 119982 119981
                         119977 119975 119973 119971 119970 119968 119966
                         119965 119894 119893 119808 119639 119552 119366
                         119365 119362 119296 119273 119214 119210 119180
                         119173 119171 119149 119146 119141 119081 119079
                         119040 119030 118784 113824 113823 113821 113820
                         113818 113808 113801 113792 113789 113776 113771
                         113664 110594 110592 94112 94099 94033 94032 94021
                         93952 93072 93053 93048 93027 93018 93008 92998 92983
                         92976 92928 92918 92917 92910 92880 92784 92782 92778
                         92768 92767 92736 92729 92160 83527 82944 78895 77824
                         75076 74880 74869 74864 74650 73728 72441 72384 71936
                         71935 71914 71840 71488 71484 71482 71472 71450 71424
                         71370 71360 71339 71296 71258 71248 71237 71233 71216
                         71168 71132 71105 71087 71040 70874 70864 70856 70852
                         70832 70784 70498 70493 70481 70480 70462 70461 70458
                         70453 70452 70450 70449 70442 70441 70419 70417 70415
                         70413 70405 70394 70384 70367 70320 70314 70303 70302
                         70287 70286 70282 70281 70280 70279 70272 70206 70200
                         70188 70163 70162 70144 70112 70096 70094 70093 70090
                         70081 70067 70019 70007 70004 70003 69968 69956 69942
                         69927 69891 69882 69872 69865 69840 69826 69822 69821
                         69819 69808 69763 69744 69734 69710 69703 69688 69635
                         68851 68800 68787 68736 68681 68608 68509 68505 68498
                         68480 68467 68448 68438 68409 68406 68352 68343 68336
                         68325 68288 68253 68223 68221 68192 68185 68176 68148
                         68121 68120 68117 68116 68112 68097 68096 68032 68030
                         68024 67968 67904 67903 67898 67871 67862 67840 67830
                         67828 67827 67808 67743 67712 67705 67680 67672 67671
                         67670 67647 67645 67644 67641 67639 67638 67594 67593
                         67592 67590 67584 67432 67424 67414 67392 67383 67072
                         66928 66927 66916 66864 66856 66816 66730 66720 66718
                         66560 66513 66504 66500 66463 66462 66432 66422 66384
                         66378 66370 66369 66352 66336 66304 66257 66208 66205
                         66176 66045 66000 65953 65952 65948 65936 65933 65932
                         65930 65913 65856 65847 65795 65792 65787 65664 65630
                         65616 65614 65599 65598 65596 65595 65576 65575 65549
                         65548 65536 65534 65532 65519 65512 65511 65504 65501
                         65498 65496 65490 65488 65482 65480 65474 65471 65281
                         65277 65142 65141 65136 65132 65128 65127 65108 65107
                         65072 65050 65040 65022 65008 64968 64914 64912 64848
                         64832 64467 64450 64326 64325 64323 64322 64320 64319
                         64318 64317 64312 64311 64287 64286 64285 64280 64275
                         64263 64256 64218 64112 64110 63744 55292 55243 55239
                         55216 55204 44032 44026 44016 44012 44011 44003 43888
                         43878 43824 43823 43816 43815 43808 43799 43793 43791
                         43785 43783 43777 43765 43760 43755 43739 43715 43714
                         43713 43712 43710 43705 43703 43701 43698 43697 43696
                         43646 43643 43612 43610 43600 43596 43588 43587 43584
                         43561 43520 43519 43494 43493 43486 43482 43471 43470
                         43457 43443 43396 43389 43359 43335 43310 43302 43264
                         43262 43250 43226 43214 43188 43138 43128 43072 43066
                         43062 43052 43048 43043 43020 43019 43015 43014 43011
                         43010 42999 42936 42928 42926 42752 42744 42738 42726
                         42656 42654 42622 42612 42611 42607 42560 42540 42192
                         42183 42128 42125 40960 40918 19904 19894 13056 13055
                         12992 12977 12938 12928 12896 12881 12880 12872 12842
                         12831 12784 12772 12736 12731 12694 12690 12688 12687
                         12593 12590 12549 12544 12443 12439 12353 12352 12347
                         12344 12336 12321 12296 12295 12288 12284 12272 12246
                         12032 12020 11931 11930 11904 11843 11776 11743 11736
                         11735 11728 11727 11720 11719 11712 11711 11704 11703
                         11696 11695 11688 11687 11680 11671 11648 11633 11631
                         11624 11568 11566 11565 11560 11559 11558 11518 11517
                         11513 11508 11506 11503 11360 11359 11312 11311 11264
                         11248 11244 11218 11210 11209 11197 11194 11160 11158
                         11126 11124 10132 10102 9472 9450 9372 9291 9280 9255
                         9216 9211 8592 8588 8586 8581 8579 8528 8448 8383 8352
                         8349 8336 8335 8330 8320 8314 8306 8305 8288 8239 8234
                         8208 8203 8192 8191 8182 8181 8178 8176 8157 8156 8150
                         8148 8134 8133 8118 8117 8064 8062 8031 8030 8029 8028
                         8027 8026 8025 8024 8016 8014 8008 8006 7968 7966 7960
                         7958 7680 7616 7424 7415 7413 7410 7406 7405 7401 7380
                         7379 7368 7360 7296 7245 7242 7227 7204 7164 7142 7086
                         7073 7043 7037 7028 7019 6992 6988 6981 6964 6917 6830
                         6816 6810 6800 6794 6784 6741 6686 6679 6622 6618 6608
                         6602 6576 6572 6528 6517 6512 6510 6468 6465 6464 6431
                         6400 6390 6320 6315 6314 6313 6272 6264 6176 6170 6160
                         6155 6144 6122 6112 6109 6100 6068 6016 6001 5998 5997
                         5984 5970 5952 5943 5941 5938 5920 5906 5902 5901 5888
                         5881 5873 5870 5792 5789 5120 5118 5112 5110 5024 5018
                         4992 4969 4960 4955 4888 4886 4882 4881 4824 4823 4808
                         4806 4802 4801 4800 4799 4792 4790 4786 4785 4752 4750
                         4746 4745 4704 4702 4698 4697 4696 4695 4688 4686 4682
                         4681 4304 4302 4301 4296 4295 4294 4254 4250 4240 4239
                         4238 4226 4213 4209 4206 4199 4197 4194 4193 4190 4186
                         4182 4159 4139 4096 4059 4046 4045 4039 4038 4030 3981
                         3976 3974 3973 3949 3913 3912 3904 3902 3898 3897 3896
                         3895 3894 3893 3892 3882 3866 3864 3840 3808 3804 3802
                         3792 3783 3782 3781 3776 3774 3773 3764 3762 3761 3757
                         3756 3754 3752 3751 3750 3749 3748 3745 3744 3737 3736
                         3732 3726 3725 3723 3722 3721 3719 3717 3716 3715 3713
                         3676 3663 3655 3647 3636 3634 3633 3585 3573 3572 3568
                         3558 3527 3520 3518 3517 3516 3507 3506 3482 3479 3461
                         3456 3449 3440 3430 3426 3423 3407 3406 3390 3389 3387
                         3346 3345 3342 3341 3333 3315 3313 3312 3302 3298 3296
                         3295 3294 3262 3261 3258 3253 3252 3242 3241 3218 3217
                         3214 3213 3205 3200 3199 3184 3174 3170 3168 3163 3160
                         3134 3133 3130 3114 3113 3090 3089 3086 3085 3077 3067
                         3059 3056 3046 3025 3024 3002 2990 2987 2984 2981 2979
                         2976 2974 2973 2972 2971 2969 2966 2962 2961 2958 2955
                         2949 2948 2947 2930 2918 2914 2911 2910 2908 2878 2877
                         2874 2869 2868 2866 2865 2858 2857 2835 2833 2831 2829
                         2821 2810 2809 2802 2790 2786 2784 2769 2768 2750 2749
                         2746 2741 2740 2738 2737 2730 2729 2707 2706 2703 2702
                         2693 2677 2674 2672 2662 2655 2654 2653 2649 2618 2616
                         2615 2613 2612 2610 2609 2602 2601 2579 2577 2575 2571
                         2565 2556 2554 2548 2534 2530 2527 2526 2524 2511 2510
                         2494 2493 2490 2486 2483 2482 2481 2474 2473 2451 2449
                         2447 2445 2437 2433 2404 2402 2392 2385 2384 2366 2365
                         2362 2308 2229 2208 2143 2142 2137 2112 2111 2096 2089
                         2088 2085 2084 2075 2074 2070 2048 2043 2036 2027 1984
                         1970 1969 1958 1869 1840 1810 1809 1808 1806 1774 1770
                         1769 1767 1765 1759 1758 1750 1649 1648 1632 1611 1566
                         1564 1563 1552 1542 1525 1520 1515 1488 1479 1478 1476
                         1475 1473 1472 1471 1470 1424 1421 1419 1417 1416 1377
                         1376 1369 1367 1329 1328 1162 1155 931 930 910 909 908
                         907 900 896 890 888 880 768 191 188 186 185 180 178
                         174 173 160 127 32 14 9))
